1. A Precis of Mathematical Logic
پدیدآورنده : by J.M. Bocheński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
3. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
4. Aktive Synthesen:
پدیدآورنده : herausgegeben von Roland Breeur.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Phenomenology.,Philosophy (General)
5. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
6. Aspect of Modern Logic
پدیدآورنده : by Evert W. Beth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
D8
B948
1970
7. Aspects of Philosophical Logic :
پدیدآورنده : edited by Uwe Mönnich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
8. Assumptions of Grand Logics
پدیدآورنده : by James K. Feibleman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC71
.
B953
1979
9. Augustus De Morgan and the Logic of Relations
پدیدآورنده : by Daniel D. Merrill.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Philosophy, Modern.
10. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
11. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
12. Basic Questions on Truth
پدیدآورنده : by Paul Weingartner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Genetic epistemology.,Logic.,Philosophy (General)
رده :
BC171
.
B973
2000
13. Belief Change
پدیدآورنده : edited by Didier Dubois, Henri Prade.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
14. Beyond Reason :
پدیدآورنده : edited by Gonzalo Munévar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Education -- Philosophy.,Logic.,Philosophy (General)
15. Combinators, [lambda]-Terms and Proof Theory
پدیدآورنده : by Sören Stenlund.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
16. Communication and Meaning :
پدیدآورنده : by Andrew J.I. Jones.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
P90
.
B936
1983
17. Consciousness, Knowledge, and Truth :
پدیدآورنده : edited by Roberto Poli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Genetic epistemology.,Logic.,Philosophy (General)
رده :
BD171
.
E358
1993
18. Critical Rationalism, Metaphysics and Science :
پدیدآورنده : edited by I.C. Jarvie, Nathaniel Laor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Genetic epistemology.,Logic.,Philosophy (General)
19. Defeasible Deontic Logic
پدیدآورنده : edited by Donald Nute.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ethics.,Logic.,Philosophy (General)
20. Domain Theory, Logic and Computation :
پدیدآورنده : edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
